退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:子结构逻辑的标记自然演绎
机译:自然演绎中的子结构逻辑
机译:具有共同知识的公共公告逻辑标记自然扣除
机译:捆绑分支时间逻辑的标记自然演绎
机译:标记为一系列时态逻辑的自然扣系统
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:DNA计算机推论的自然演绎法则
机译:不确定性下的推理:主观逻辑演绎的变异。
机译:婴儿奶瓶传感器与内容体积传感和内容扣除逻辑
机译:带有内容量感应和内容推断逻辑的婴儿奶瓶传感器
机译:具有内容量感应和内容演绎逻辑的婴儿瓶传感器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。